Enter a word or phrase in any language 👆
Language:
Translation and analysis of words by artificial intelligence
On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
- how the word is used
- frequency of use
- it is used more often in oral or written speech
- word translation options
- usage examples (several phrases with translation)
- etymology
What (who) is automath - definition
AUTOMATH; Automath theorem prover
Automath
·noun One who is self-taught.
AUTOMATH
<language, mathematics> A very high level language for writing
proofs, from Eindhoven, Netherlands.
["The Mathematical Language AUTOMATH, Its Usage and Some of
its Extensions", N.G. deBruijn, in Symp on Automatic
Demonstration, LNM 125, Springer 1970 ].
(2001-07-09)
Automath
Automath ("automating mathematics") is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.
Wikipedia
Automath
Automath ("automating mathematics") is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.
